Kousuke Udatsu; "Awareness Logic of Abstraction"
https://dspace.jaist.ac.jp/dspace/handle/10119/18876
認識論理
とその改良について